Translations: a Movement Towards Reconciliation
نویسندگان
چکیده
منابع مشابه
Towards a better understanding of SAT translations
Of fundamental importance for SAT solving is the translation to CNF. One of the basic tasks is to find metrics for determining what are “good” translations, i.e., what makes the resulting SAT problem easy to solve. We introduce a new measure hd(F ), the “hardness”, for formulas F in conjunctive normal form (i.e., clause-sets). hd(F ) for unsatisfiable clause-sets has been studied in [12,14]. Ho...
متن کاملYou Say Periklute, I Say Paraclete: Towards a Reconciliation Between the Bible and the Quran
The Quranic statement that Jesus predicted Muhammad by name is examined in light of the expectation of what the “kingdom of God” was. The concept of the kingdom of God as being the light or fire of the Holy Spirit at Pentecost is contrasted with the Sufi concept of the “Light of Muhammad.” Pentecost could be the Light of Muhammad coming upon the apostles of Christ; the Light is the same, but kn...
متن کاملTowards Ontological Reconciliation for Agents
This paper addresses issues faced by agents operating in large-scale multi-cultural environments. We argue for systems that are tolerant of heterogeneity. The discussion is illustrated with a running example of researching and comparing university web sites, which is a realistic scenario representative of many current knowledge management tasks that would benefit from agent assistance. We discu...
متن کاملTwo sides to long-term potentiation: a view towards reconciliation.
Almost since the discovery of long-term potentiation (LTP) in the hippocampus, its locus of expression has been debated. Throughout the years, convincing evidence has accumulated to suggest that LTP can be supported either presynaptically, by an increase in transmitter release, or postsynaptically, by an increase in α-amino-3-hydroxy-5-methyl-4-isoxazolepropionic acid (AMPA) receptor number. Ho...
متن کاملTowards a Collaborative Filtering Approach to Medication Reconciliation
A physicians prescribing decisions depend on knowledge of the patients medication list. This knowledge is often incomplete, and errors or omissions could result in adverse outcomes. To address this problem, the Joint Commission recommends medication reconciliation for creating a more accurate list of a patients medications. In this paper, we develop techniques for automatic detection of omissio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ABEI Journal
سال: 2014
ISSN: 2595-8127,1518-0581
DOI: 10.37389/abei.v16i0.3562